#include"stdio_kernal.h"
#include"vargs.h"
#include"global.h"
#include"syscall.h"
#include"stdio.h"
#include"file.h"

void printk(const char* fmt,...){
	char buff[1024];
	va_list ap;
	va_start(ap,fmt);
	int len=vsprintf(buff,fmt,ap);
	va_end(ap);
	write(stdout_no,buff,len);
}
